<?php
	require_once(dirname(__FILE__) . '/../../lib/MarketDB.php');

	$marketDB = new MarketDB();
	$servers = $marketDB->getServers();
	echo '<div id="menu_servers" class="mbmenu">';
	foreach($servers as &$val) {
		$dis = "";
		if ($val['id'] == $marketDB->getServerID()) {
			$dis = ", disabled: true;";
		}
		echo "<a class=\"{action: 'setServer(" . $val['id'] . ")'}$dis\">" . $val['name'] . "</a>";
	}
	echo '</div>';
?>
